Using the B Method for the Formalization of Coordinated Atomic Actions
نویسندگان
چکیده
Coordinated Atomic Actions have been proven successful for building dependable distributed systems due to their support for error recovery for both competitive and cooperative concurrent activities. This chapter introduces the formal specification of Coordinated Atomic Actions emphasizing the formalization of proposed dependability mechanisms using the B formal method. The specification then allows developing dependable systems, where the B formal specification can be refined to obtain a correct implementation of the associated runtime support.
منابع مشابه
Voltage Coordination of FACTS Devices in Power Systems Using RL-Based Multi-Agent Systems
This paper describes how multi-agent system technology can be used as the underpinning platform for voltage control in power systems. In this study, some FACTS (flexible AC transmission systems) devices are properly designed to coordinate their decisions and actions in order to provide a coordinated secondary voltage control mechanism based on multi-agent theory. Each device here is modeled as ...
متن کاملA MILP Model for Coordinated Charging of Electric Vehicles in Smart Unbalanced LV Distribution Networks Using Floating Charge Method
In this paper, a mixed-integer linear programming (MILP) model is proposed to solve the charging problem of electric vehicles (EVs) using floating charge method meaning that the EV, could be supplied by each of the three phases connected to a special bus. In other words, unlike a usual household load which is only supplied by a particular phase, in the floating charge method it is assumed that ...
متن کاملFormal Veri cation of a Coordinated Atomic Action Based Design
Coordinated atomic actions CAAs have been used in a semi formal way for the design of the production cell case study This paper presents a formal speci cation and veri cation of the production cell building on this design However this report is not intended to present yet another formalization of the production cell case study but rather as an approach to formalizing a CAA based system design i...
متن کاملSynthesis and Characterization of Nanocrystalline Magnetic Pigment via Coordinated Precursors
Nanocrystalline cobalt ferrite as a magnetic black pigment was synthesized via coordinated precursors with a significant decrease of the synthesis temperature using citric acid as a coordinating agent. The structure and properties of the cobalt ferrite powder were characterized by X-ray diffraction (XRD), colorimetric analysis (L*a*b* color parameters), diffuse reflectance spectroscopy and vibr...
متن کاملCoordinated atomic actions as a technique for implementing distributed gamma computation
The intentions of this paper are to discuss Coordinated Atomic actions and to demonstrate how they can be used in a very new application area. We apply this concept to designing a particular case of the Gamma computational paradigm, i.e. distributed Gamma computation. Within our approach, each Gamma reaction is an action. We demonstrate how Gamma computation can be effectively implemented in co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004